Paradosso di Russell
Il paradosso di Russell è considerato la più celebre antinomia della storia del pensiero logico e matematico. La sua scoperta ebbe ampia risonanza all'interno della comunità di studiosi che agli inizi del Novecento si occupavano della sistemazione dei fondamenti della matematica.
| Table of contents |
|
2 Il paradosso di Russell e la crisi della Grande Logica: la storia 3 Altri paradossi logici |
Il ragionamento di Bertrand Russell dimostra come sia facile cadere in contraddizione parlando di insiemi. La nozione di insieme è solo apparentemente esente da dubbi e difficoltà , come dimostra l'argomentazione seguente.
Introduciamo dapprima il concetto di insiemi che appartengono o non appartengono a se stessi:
Il paradosso fu scoperto da Bertrand Russell mentre si dedicava allo studio della teoria degli insiemi di Cantor su cui contemporaneamente Frege stava realizzando la riduzione della matematica alla logica. Russell si rese subito conto delle conseguenze che la sua scoperta avrebbe avuto per il programma logicista e non esitò a mettersi immediatamente in contatto con il logico di Jena. Il caso volle che la lettera di Russell fosse recapitata a Frege nell'estate del 1902 poco prima della pubblicazione del secondo e ultimo volume dei Principi di aritmetica. Frege prese atto delle conseguenze distruttive per il sistema che aveva costruito in quegli anni e decise di scrivere un'appendice ai suoi Principi in cui confessava il fallmento della sua opera.
Accanto al paradosso di Russell, altre antinomie fiorirono tra la fine dell'Ottocento e l'inizio del Novecento:
La contradditorietà degli insiemi
A questo punto consideriamo l'insieme R di tutti gli insiemi che non appartengono a se stessi e chiediamoci se esso appartiene o meno a se stesso:
In entrambi i casi abbiamo derivato una contraddizione.Il paradosso di Russell e la crisi della Grande Logica: la storia
Altri paradossi logici
